1261. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
1262. Verified software :
پدیدآورنده : Ruzica Piskac, Philipp Rümmer (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
1263. Virtualization Techniques for Mobile Systems
پدیدآورنده : / David Jaramillo, Borko Furht, Ankur Agarwal
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ELECTRONIC&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ENGINEERING, ELECTRICAL
رده :
E-BOOK
1264. Visualization of fields and applications in engineering
پدیدآورنده : / Stephen Tou
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Engineering mathematics,Fluid dynamics, Mathematics,Electromagnetic fields, Mathematical models,Gravitational waves, Mathematical models,Information visualization,TECHNOLOGY & ENGINEERING / Imaging Systems, bisacsh
رده :
TA330
.
T68
2011
1265. WISE 2012-Web Information Systems Engineering
پدیدآورنده : / X. Sean Wang, Isabel Cruz, Alex Delis, Guangyan Huang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
رده :
E-BOOK
1266. WISE 2013 WorkshopsتWeb Information Systems Engineering
پدیدآورنده : / Zhisheng Huang, Chengfei Liu, Jing He, Guangyan Huang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
1267. WISE 2010 WorkshopsتWeb Information Systems Engineering
پدیدآورنده : / Chi Cheung, Haiyang Hu, Jie Shao-fung Leung, Shing-Dickson K. W. Chiu, Ladjel Bellatreche, Hideyasu Sasaki, Ho
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
1268. WISE 2014 WorkshopsتWeb Information Systems Engineering
پدیدآورنده : / Boualem Benatallah, Azer Bestavros, Barbara Catania, Armin Haller, Yannis Manolopoulos, Athena Vakali, Yanchun Zhang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
1269. WISE 2011 and 2012 WorkshopsتWeb Information Systems Engineering
پدیدآورنده : / young Paik, Quan Z. Sheng-Armin Haller, Guangyan Huang, Zhisheng Huang, Hye
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
1270. WISE 2010تWeb Information Systems Engineering
پدیدآورنده : / Lei Chen, Peter Triantafillou, Torsten Suel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|MINING
رده :
E-BOOK
1271. WISE 2014تWeb Information Systems Engineering
پدیدآورنده : / Boualem Benatallah, Azer Bestavros, Yannis Manolopoulos, Athena Vakali, Yanchun Zhang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
رده :
E-BOOK
1272. WISE 2015تWeb Information Systems Engineering
پدیدآورنده : / Ching Chen, Tao Li, Yanchun Zhang-Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
رده :
E-BOOK
1273. WISE 2013تWeb Information Systems Engineering
پدیدآورنده : / Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
رده :
E-BOOK
1274. WISE 2014تWeb Information Systems Engineering
پدیدآورنده : / Boualem Benatallah, Azer Bestavros, Yannis Manolopoulos, Athena Vakali, Yanchun Zhang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
رده :
E-BOOK
1275. WISE 2013تWeb Information Systems Engineering
پدیدآورنده : / Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
رده :
E-BOOK
1276. Wandel von der Telekommunikation zu Unified Communications :
پدیدآورنده : von Ralf Lehmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information Systems and Communication Service.,TECHNOLOGY & ENGINEERING -- Mechanical.
1277. Water Quality Monitoring Network Design
پدیدآورنده : by Nilgun B. Harmancioglu, Okan Fistikoglu, Sevinc D. Ozkul, Vijay P. Singh, M. Necdet Alpaslan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Communication Networks.,Environmental management.,Environmental sciences.,Hydraulic engineering.,Information storage and retrieval systems.,Pollution.
1278. Web Information Systems and Mining
پدیدآورنده : / Zhiguo Gong, Xiangfeng Luo, Junjie Chen, Jingsheng Lei, Fu Lee Wang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
رده :
E-BOOK
1279. Web Information Systems and Mining
پدیدآورنده : / Fu Lee Wang, Zhiguo Gong, Xiangfeng Luo, Jingsheng Lei
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
رده :
E-BOOK
1280. Web Information Systems and Mining
پدیدآورنده : / Zhiguo Gong, Xiangfeng Luo, Junjie Chen, Jingsheng Lei, Fu Lee Wang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
رده :
E-BOOK
